Representing Closed CCS Systems by Petri Nets
نویسنده
چکیده
This paper describes and proves a simple transformation of CCS composi tions into Petri nets Under certain conditions additional to the CCS syntax rules the resulting Petri nets are nite and ring of their transitions cor responds to handshakes in CCS compositions Such correspondence also holds between simultaneous ring of several transitions and multiple handshakes The transformation has proved useful in a fast deadlock detection tool developed for CCS speci cations
منابع مشابه
Petri Net Based Deadlock Analysis of ProcessAlgebra
Recent research has been conducted on representing Process Algebra programs by safe Petri nets. We suggest that such a representation ooers direct beneets: one can use methods that have been developed in the Petri net theory domain, to reason about Process Algebra programs. We propose for a subset of a speciic Process Algebra (Milner's Calculus of Communicating Systems or CCS), a deadlock detec...
متن کاملA rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملModeling of Continuous Systems Using Modified Petri Nets
Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملModular encoding of synchronous and asynchronous interactions using open Petri nets
The paper investigates the relationships between two well-known approaches to the modelling of concurrent and distributed systems, process calculi and Petri nets. A framework for the modular encoding of process calculi into Petri nets is proposed, which is based on a reactive variant of Petri nets. In particular, two exemplary calculi are considered: (asynchronous) CCS and CSP, representing alt...
متن کامل